Boolean satisfiability problem - PDFSEARCH.IO - Document Search Engine

Boolean satisfiability problem
Results: 324

#	Item
151	Phase Transitions: A ew Paradigm for Evaluating Complexity in Learning and other Complex Systems Lorenza Saitta Università del Piemonte Orientale, Dipartimento di Informatica Viale Teresa Michel 11, 15121 Alessandria, Add to Reading List Source URL: www.iiconference.org Language: English - Date: 2013-03-08 07:30:15 Computational complexity theory Complexity Algorithm Boolean satisfiability problem Constraint satisfaction problem Theoretical computer science Applied mathematics Mathematics
152	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Don’t care in SMT⋆ Building flexible yet efficient abstraction/refinement solvers Andreas Bauer1 , Martin Leucker2 , Christian Sc Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2009-10-01 20:34:14 Mathematics Model theory Logic in computer science Electronic design automation NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Constraint satisfaction problem Symbol Theoretical computer science Constraint programming Mathematical logic
153	Refutation-Complete Binary Decision Diagrams Scott P. Sanner Department of Computer Science University of Toronto Toronto, ON M5S 3G4 Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2004-05-05 19:58:06 Boolean algebra Automated theorem proving Constraint programming Mathematical logic Diagrams Binary decision diagram DPLL algorithm Boolean satisfiability problem Resolution Theoretical computer science Mathematics Applied mathematics
154	Propositional Encoding of Constraints over Tree-Shaped Data Johannes Waldmann and Alexander Bau HTWK Leipzig, Germany {waldmann,abau}@imn.htwk-leipzig.de Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-05-22 03:33:16 Propositional calculus Boolean algebra Constraint programming Formal languages Model theory Boolean satisfiability problem String Propositional formula Function Mathematics Logic Mathematical logic
155	Don’t care in SMT—Building flexible yet efficient abstraction/refinement solvers1 Andreas Bauer∗ , Martin Leucker∗∗, Christian Schallhart∗∗, Michael Tautschnig∗∗ ∗ ∗∗ Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2007-11-26 20:10:39 Mathematics Logic in computer science Electronic design automation Formal methods NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Constraint satisfaction problem Solver Theoretical computer science Constraint programming Applied mathematics
156	A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions. I. The Two-Level Case. Calogero G. Zarba ([removed]) LORIA and INRIA-Lorraine 615, rue du Jardin Botan Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 12:40:27 Logic in computer science Model theory Boolean algebra Boolean satisfiability problem Electronic design automation Interpretation Symbol Function Mathematics Theoretical computer science Mathematical logic
157	Tool-support for the analysis of hybrid systems and models Andreas Bauer Markus Pister Michael Tautschnig Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:27 Operations research Constraint programming Logic in computer science Electronic design automation Formal methods Satisfiability Modulo Theories Solver Boolean satisfiability problem Constraint satisfaction Theoretical computer science Applied mathematics Mathematics
158	Huck Bennett Department of Computer Science Courant Institute of Mathematical Sciences New York University 251 Mercer Street New York, NY Add to Reading List Source URL: www.cims.nyu.edu Language: English - Date: 2014-09-05 13:35:53 Association of American Universities North Central Association of Colleges and Schools Geography of Colorado NP-complete problems Logic in computer science Boolean satisfiability problem Boulder Colorado Satisfiability University of Colorado at Boulder Association of Public and Land-Grant Universities Theoretical computer science Colorado counties
159	Partial Weighted MaxSAT for Optimal Planning Nathan Robinson† , Charles Gretton‡ , Duc Nghia Pham† , and Abdul Sattar† † ATOMIC Project, Queensland Research Lab, NICTA and Institute for Integrated and Intellige Add to Reading List Source URL: www.griffith.edu.au Language: English - Date: 2010-09-19 23:27:44 Operations research Mathematical optimization Logic in computer science Job shop scheduling Boolean satisfiability problem A* search algorithm Theoretical computer science Mathematics Applied mathematics
160	NICTA ANU SUMMER SCHOLARS PROJECTS – [removed]TITLE Design for Wireless Human Body Area Communications Power control games for wireless ad-hoc network communications Comparison of Classification-Based Loss Functions Mul Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-09 05:28:13 Cybernetics Learning Machine learning Boolean satisfiability problem Theoretical computer science Applied mathematics Mathematics

UPDATE